<HTML>
<BODY>
This package provides control-flow graph utilities.
</BODY>
</HTML>
